Total Books: 1 - 1 /1
Supervisory Control of Concurrent Systems
This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications ...
Lire la suite
Total Books: 1 - 1 /1
